Tim Willemse
Subject: visit to explore future collaborations.
Institution: Eindhoven University of Technology, NL
Duration: 1 week
Frank Stappers
Subject: formal verification for reconfigurable languages
Duration: 6 weeks
Bram Gerron
Subject: formal verification of compilation
Duration: 3 months